onlnk($l$;${\it mss}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$${\it ms}$.mlnk(${\it ms}$) = $l$;${\it mss}$)